Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation

Reasoning about Interaction for Hospital Decision Making

For our research, we present a model for reasoning about interaction in dynamic, time critical scenarios (such as decision making for hospital emergency room scenarios). In particular, we are concerned with how to incorporate a model of the possible bother generated when asking a user, to weigh this in as a cost of interaction, compared to the benefit derived from asking the user with the highe...

Qualitative and probabilistic uncertainty in reasoning about actions with sensing

We present the description logic PN-ALCK NF for reasoning about actions with sensing under qualitative and probabilistic uncertainty, which is an extension of the description logic ALCK NF by actions with nondeterministic and probabilistic effects. We define a formal semantics of PN-ALCK NF in terms of deterministic, nondeterministic, and probabilistic transitions between epistemic states, whic...

Decision making under uncertainty and learning about climate change

the search for the self in becketts theatre: waiting for godot and endgame

this thesis is based upon the works of samuel beckett. one of the greatest writers of contemporary literature. here, i have tried to focus on one of the main themes in becketts works: the search for the real "me" or the real self, which is not only a problem to be solved for beckett man but also for each of us. i have tried to show becketts techniques in approaching this unattainable goal, base...

Reasoning and Decision Making

2 Knowledge Representation and Reasoning (1p) 3 2.1 Logic and Combinatorics (1p) . . . . . . . . . . . . . . . . . . . . 4 2.1.1 Propositional Reasoning and Constraints Satisfaction (1p) 4 2.1.2 First-Order Logic and Its Restrictions (1.5p) . . . . . . . 5 2.1.3 Knowledge, Belief, Agents, and Modal Logic (0.75p) . . . 6 2.1.4 Logic Programming, Nonmonotonic Reasoning, and Preferences (0.75p) . ...